Graphic visualization and animation of LOTOS execution traces
نویسندگان
چکیده
Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualization and animation of specifications of telephony systems. The use of these tools in software design is discussed briefly.
منابع مشابه
Protocol animation based on event-driven visualization scenarios in real-time LOTOS
In this paper, we propose a method for animating behavior of communication protocols/systems based on event-driven visualization scenarios described in a subclass of ELOTOS called real-time LOTOS. In the proposed method, first we pick up some interesting events in the original specification of the protocol, and then describe a visualization scenario for those events so that the corresponding an...
متن کاملProtocol visualization using LOTOS multi-rendezvous mechanism
In this paper, we propose a method for visualizing LOTOS speciications using multi-rendezvous mechanism. For visualization, we have extended LOTOS by introducing some primitive animation events. Using the extended LOTOS, we describe a visualization scenario for events which we would like to visualize their execution. Then, we execute the original speciication and its visualization scenario in p...
متن کاملA Visual Stack Based Paradigm for Visualization Environments
We present a new visual paradigm for Visualization Systems, inspired by stack-based programming. Most current implementations of Visualization systems are based on directional graphs. However directional graphs as a visual representation of execution, though initially quite intuitive, quickly grow cumbersome and difficult to follow under complex examples. Our system presents the user with a sim...
متن کاملThe Impact of Visualization and Graphic Organizers on EFL Learners’ Cognitive, Emotional, and Behavioral Engagement and Listening
The present study examined the impact of visualization and graphic organizers as pre-listening strategies on English as a foreign language (EFL) learners’ cognitive, behavioral, and emotional engagement and their listening comprehension. To do so, this study was carried out in three listening classes at Islamic Azad University of Mashhad. The participants included 80 junior EFL university stude...
متن کاملE-DART: A Specification Environment to the E-LOTOS Formal Technique
This work presents the E-DART (Enhancements to DART), a graphical environment for the specification of systems based on graphic constructions for the formal description technique E-LOTOS. The use of diagrams reduces the complexity of the specifications turning E-LOTOS accessible even to users not familiarized with a formal description technique. A new graphic syntax was created as well as a spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Computer Networks
دوره 40 شماره
صفحات -
تاریخ انتشار 2002